4521. #Technical reference
پدیدآورنده :
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Electronic digital computers-- Design and construction
رده :
#
TK
،#.
I574
،#
1983
4522. Techniques in computer programming
پدیدآورنده : SHERMAN,PHILIP M
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , FORTRAN )COMPUTER PROGRAM LANGUAGE(
رده :
QA
76
.
5
.
S472
4523. Techniques of program structure and design
پدیدآورنده : Yourdon, Edward
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Electronic digital computers -- Programming
رده :
QA
76
.
6
.
Y68
4524. Technology + culture = software
پدیدآورنده : Rocchi, Paolo
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Programming )Electronic computers(,، Software engineering
رده :
QA
76
.
6
.
R64
2000
4525. Telematic society : a challenge for tomorrow
پدیدآورنده : Martin, James
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Telecommunication,، Computers,، Electronic data processing
رده :
TK
5101
.
M327
1981
4526. Teletraffic analysis and computer performance evaluation : proceedings of the international seminar, held at the Centre for Mathematics and Computer Science )CWI( June 2- 6, 1986, Amsterdam, the Netherlands
پدیدآورنده :
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Telecommunication- Traffic- Congresses,، Electronic digital computers- Evaluation- Congresses
4527. Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
T4414
1994
4528. Temporal logic : mathematical foundations and computational aspects
پدیدآورنده : Gabbay, Dov M.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Electronic digital computers - Programming , Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
G27
1994
4529. Temporal logic of programs
پدیدآورنده : Kroger, Fred
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
4530. Temporal logic of programs
پدیدآورنده : KROGER,FRED
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
76
.
6
.
K753
4531. Temporal logic of programs
پدیدآورنده : Kroger, Fred
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
4532. Temporal logic of programs
پدیدآورنده : Kroger, Fred
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Electronic digital computers -- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
4533. Temporal verification of reactive systems: safety
پدیدآورنده : Manna, Zohar
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer software-- Verification,، Parallel processing )Electronic computers(
رده :
QA
76
.
76
.
V47
.
M36
1995
4534. Ten years of concurrency semantics : selected papers of the Amsterdam Concurrency Group
پدیدآورنده : editors, J.W. de Bakker and J.J.M.M. Rutten
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Parallel programming )Computer science( - Congresses , Programming languages )Electronic computers( - Semantics - Congresses
رده :
QA
76
.
642
.
T45
1992
4535. The Analysis of concurrent systems : Proceedings, Cambridge, September 12-16, 1983
پدیدآورنده : edited by B.T. Denvir...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
207
4536. The Analysis of concurrent systems : proceedings, Cambridge, September 12-16, 1983
پدیدآورنده : edited by B.T. Denvir ... )et al.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L4
v
.
207
4537. The Android developer's cookbook :building applications with the Android SDK
پدیدآورنده : Steele, James,James Steele, Nelson To
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Android )Electronic resource(,Development ، Application software,، Mobile computing,Programming ، Smartphones,، Operating systems )Computers(
رده :
QA
76
.
76
.
A65
S743
2011
4538. <The> Apple Watch Book
پدیدآورنده : \ Production Editor Fiona Hudson
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Wearable computers. ,Electronic clocks and watches.,کامپیوترهای پوشیدنی ,ساعتهای الکترونیکی
رده :
E-Book
,
4539. The Application of digital computers to structural engineering problems
پدیدآورنده : / D. M. Brotton
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Structural analysis (engineering),Electronic data processing - Civil engineering,Electronic digital computers
رده :
TA645
.
B75
4540. The Architecture and engineering of digital computer complexes
پدیدآورنده : Beizer, Boris
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Electronic digital computers
رده :
QA
76
.
5
.
B37